Davide Sangiorgi is professor of computer science at the University of Bologna. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts.
Selected publications
Davide Sangiorgi, David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge University Press.